Abstract machine

Results: 823



#Item
31

The Machine Learning Database Datacratic - Montr´eal, Canada - Abstract—The Machine Learning Database1 (MLDB) is a novel open source system for solving big data machine learning problems, from data

Add to Reading List

Source URL: blog.mldb.ai

- Date: 2016-12-20 15:15:45
    32

    The alternative Machine Paradigm for Energy-Efficient Computing Reiner Hartenstein, TU Kaiserslautern and KIT Karlsruhe IEEE fellow, SDPS fellow, FPL fellow Abstract. We are facing an unaffordable growing energyineffici

    Add to Reading List

    Source URL: xputers.informatik.uni-kl.de

    - Date: 2016-08-18 07:36:28
      33

      Automatically Evading Classifiers A Case Study on PDF Malware Classifiers Weilin Xu, Yanjun Qi, and David Evans University of Virginia http://www.EvadeML.org Abstract—Machine learning is widely used to develop classifi

      Add to Reading List

      Source URL: www.internetsociety.org

      - Date: 2016-02-22 18:42:14
        34

        Non-stationary Policy Learning in 2-player Zero Sum Games Content Areas: machine learning, Markov decision processes, reinforcement learning Abstract A key challenge in multiagent environments is the construction of agen

        Add to Reading List

        Source URL: www-users.cs.umn.edu

        - Date: 2006-11-09 12:47:53
          35

          Differentially Private Empirical Risk Minimization Kamalika Chaudhuri∗, Claire Monteleoni†, Anand D. Sarwate‡ June 1, 2010 Abstract Privacy-preserving machine learning algorithms are crucial for the increasingly co

          Add to Reading List

          Source URL: cseweb.ucsd.edu

          - Date: 2011-01-01 02:41:47
            36

            A Generic Abstract Machine for Stochastic Process Calculi Loïc Paulevé Simon Youssef IRCCyN, UMR CNRS 6597

            Add to Reading List

            Source URL: loicpauleve.name

            - Date: 2014-05-28 10:23:25
              37

              Foundational Proof-Carrying Code Andrew W. Appel∗ Princeton University Abstract Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem aris

              Add to Reading List

              Source URL: www.cs.princeton.edu

              - Date: 2001-04-04 11:21:06
                38

                Abstract of “Discriminative Methods for Label Sequence Learning” by Yasemin Altun, Ph.D., Brown University, MayDiscriminative learning framework is one of the very successful fields of machine learning. The me

                Add to Reading List

                Source URL: ttic.uchicago.edu

                - Date: 2006-02-21 13:28:02
                  39

                  Abstract Interpretation: Exercises for day 2 February 3, Write a 3 counter machine program and interpret it using the operational semantics on an input of your choice 2. Systematically derive abstract operations

                  Add to Reading List

                  Source URL: janmidtgaard.dk

                  - Date: 2015-02-02 16:35:23
                    40

                    The Fusion Machine (extended abstract) Philippa Gardner Cosimo Laneve

                    Add to Reading List

                    Source URL: www.wischik.com

                    - Date: 2002-05-21 22:12:25
                      UPDATE